e-Service Composition by Description Logics Based Reasoning
نویسندگان
چکیده
Composition of e-Services is the issue of synthesizing a new composite eService, obtained by combining a set of available component e-Services, when a client request cannot be satisfied by available e-Services. In this paper we propose a general framework addressing the problem of e-Service composition. We then show that, under certain assumptions, composition can be realized through DLbased reasoning.
منابع مشابه
Description Logics for e-Service Composition
e-Services represent a new model in the utilization of the network, in which self-contained, modular applications can be described, published, located and dynamically invoked, in a programming language independent way. Research on e-Services spans over many interesting issues, including description, discovery, composition. Our research focuses on automatic composition synthesis. More specifical...
متن کاملA Description Logic Based Approach to Reasoning about Web Services
Motivated by the need for semantically well-founded and algorithmically managable formalisms for describing the functionality of Web services, we introduce an action formalism that is based on description logics (DLs), but is also firmly grounded on research in the reasoning about action community. Our main contribution is an analysis of how the choice of the DL influences the complexity of sta...
متن کاملPlan Representation and Reasoning with Description Logics
Planning problems are naturally knowledge rich. Yet, most planning research to date has focused on languages and algorithms to represent and search through the decision space in order to generate a feasible solution. This paper surveys previous work on extending planning algorithms with expressive representations of knowledge, in particular description logics, to reasoning about action, plan, a...
متن کاملLogic Based Approach to Web Services Discovery and Matchmaking
We present a logic based approach to web services discovery and matchmaking in an e-commerce scenario. In particular, we describe our framework, based on Description Logics formalization and reasoning, and its deployment in a prototype, which overcomes simple subsumption matching of services descriptions and allows match ranking and services classification. We also present results of first expe...
متن کاملOn Spatial Reasoning with Description Logics - Position Paper
We discuss a family of DLs called ALCIRCC which are suitable for qualitative spatial reasoning on various levels of granularity. In contrast to our previous work where we investigated concept satisfiability in the basic description logic ALC in combination with composition–based role inclusion axioms of the form S ◦ T v R1 t · · · t Rn and role disjointness, we are now only considering the role...
متن کامل